Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings: 2083 (Lecture Notes in Computer Science)
by Tobias Nipkow,Alexander Leitsch,Rajeev Gore
ISBN 13: 9783540422549
Format: Paperback (728 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Advances in Modal Logic Volume 10
by Rajeev Gore,Barteld Kooi,Agi Kurucz
ISBN 13: 9781848901513
Format: Paperback (600 pages) Publisher: College Publications Published: 18 Jun 2014